ε-Kronecker and I₀ sets in abelian groups, III: interpolation by measures on small sets
Let U be an open subset of a locally compact abelian group G and let E be a subset of its dual group Γ. We say E is I₀(U) if every bounded sequence indexed by E can be interpolated by the Fourier transform of a discrete measure supported on U. We show that if E·Δ is I₀ for all finite subsets Δ of a torsion-free Γ, then for each open U ⊂ G there exists a finite set F ⊂ E such that E∖F is I₀(U). When G is connected, F can be taken to be empty. We obtain a much stronger form of that for Hadamard sets...